0-1   : +1.000000000000000000000000000000e+00 : {}

1-1   : +1.000000000000000000000000000000e+00 : {}
1-2   : +1.000000000000000000000000000000e+00 : {1}

2-1   : +1.000000000000000000000000000000e+00 : {}
2-2   : +6.857142857142857142857142857143e-01 : {3}
2-3   : +5.000000000000000000000000000000e-01 : {2, 3}
2-4   : +1.000000000000000000000000000000e+00 : {1, 2}

3-1   : +1.000000000000000000000000000000e+00 : {}
3-2   : +6.100426092541932529462922544431e-01 : {7}
3-3   : +7.500000000000000000000000000000e-01 : {5, 6}
3-4   : +3.047619047619047619047619047619e-01 : {6, 7}
3-5   : +3.333333333333333333333333333333e-01 : {3, 4}
3-6   : +3.333983093038029635338458671043e-01 : {5, 6, 7}
3-7   : +6.666666666666666666666666666667e-01 : {3, 5, 6}
3-8   : +4.166666666666666666666666666667e-01 : {3, 4, 7}
3-9   : +4.444444444444444444444444444444e-01 : {4, 5, 6, 7}
3-10  : +4.444444444444444444444444444444e-01 : {3, 4, 5, 6}
3-11  : +3.750000000000000000000000000000e-01 : {3, 4, 6, 7}
3-12  : +5.000000000000000000000000000000e-01 : {3, 5, 6, 7}
3-13  : +4.444444444444444444444444444444e-01 : {2, 3, 4, 5}
3-14  : +1.000000000000000000000000000000e+00 : {1, 2, 4, 7}

4-1   : +1.000000000000000000000000000000e+00 : {}
4-2   : +6.025329209331610076353786805026e-01 : {15}
4-3   : +4.835555555555555555555555555556e-01 : {11, 12}
4-4   : +5.625000000000000000000000000000e-01 : {13, 14}
4-5   : +2.613996816157563745565391677108e-01 : {14, 15}
4-6   : +2.500000000000000000000000000000e-01 : {7, 8}
4-7   : +4.770446446464239640526909955055e-01 : {11, 13, 14}
4-8   : +3.308016146994252189895982771864e-01 : {11, 12, 15}
4-9   : +2.531965109252165143188666878457e-01 : {13, 14, 15}
4-10  : +4.493504885489848521217722489676e-01 : {7, 11, 12}
4-11  : +3.097770840827237924718334849855e-01 : {7, 8, 14}
4-12  : +2.451662841767977655863422515674e-01 : {7, 8, 15}
4-13  : +3.164062500000000000000000000000e-01 : {10, 11, 12, 13}
4-14  : +2.381261853649489011057662328497e-01 : {11, 12, 13, 14}
4-15  : +5.000000000000000000000000000000e-01 : {9, 10, 12, 15}
4-16  : +1.777361552436223980917531018070e-01 : {11, 12, 14, 15}
4-17  : +2.372736700426492893581919618012e-01 : {11, 13, 14, 15}
4-18  : +2.571623171006033324663253425805e-01 : {12, 13, 14, 15}
4-19  : +3.750000000000000000000000000000e-01 : {5, 6, 9, 10}
4-20  : +4.444444444444444444444444444444e-01 : {5, 6, 8, 11}
4-21  : +2.261141016825637556117191107758e-01 : {7, 8, 10, 12}
4-22  : +5.925925925925925925925925925926e-01 : {7, 9, 10, 12}
4-23  : +2.668919072193374417162130055420e-01 : {7, 8, 11, 12}
4-24  : +2.422316298218302829637380893764e-01 : {7, 10, 12, 13}
4-25  : +2.901499706717058613636355544242e-01 : {7, 11, 12, 14}
4-26  : +3.750000000000000000000000000000e-01 : {7, 8, 13, 14}
4-27  : +5.000000000000000000000000000000e-01 : {7, 11, 13, 14}
4-28  : +1.653446966326326782258351972358e-01 : {7, 8, 12, 15}
4-29  : +2.079459782474194830759316311597e-01 : {7, 11, 12, 15}
4-30  : +1.923034502224122619015544374331e-01 : {7, 8, 14, 15}
4-31  : +1.406250000000000000000000000000e-01 : {6, 7, 8, 9}
4-32  : +1.820114456801015365696854391925e-01 : {10, 11, 12, 13, 15}
4-33  : +2.822662000899261460446502009049e-01 : {9, 10, 12, 14, 15}
4-34  : +2.105968662804977449289630099727e-01 : {11, 12, 13, 14, 15}
4-35  : +1.713852452723269025368798502722e-01 : {5, 6, 8, 10, 11}
4-36  : +2.259498453499353778632670051885e-01 : {5, 6, 9, 10, 14}
4-37  : +3.774730871389790790313801681125e-01 : {5, 6, 9, 10, 15}
4-38  : +2.455359363347686790839514451588e-01 : {5, 6, 8, 11, 15}
4-39  : +2.812500000000000000000000000000e-01 : {7, 8, 9, 10, 12}
4-40  : +1.776362172030103251736598890834e-01 : {7, 8, 10, 12, 13}
4-41  : +2.863060906147949466828171763639e-01 : {7, 10, 11, 12, 13}
4-42  : +1.661870409896138067382999995990e-01 : {7, 8, 10, 12, 14}
4-43  : +2.034252694451524675212396402130e-01 : {7, 9, 10, 12, 14}
4-44  : +2.129233230709454255534306345817e-01 : {7, 8, 11, 12, 14}
4-45  : +4.732756049909337055044589948834e-01 : {7, 8, 11, 13, 14}
4-46  : +2.436992289274328115304068322901e-01 : {7, 11, 12, 13, 14}
4-47  : +1.765121636538329673512012428710e-01 : {7, 8, 10, 12, 15}
4-48  : +2.405475432292808387414646164438e-01 : {7, 9, 10, 12, 15}
4-49  : +1.682753674816192262895975307756e-01 : {7, 8, 11, 12, 15}
4-50  : +1.773925296899713531388402764352e-01 : {7, 10, 12, 13, 15}
4-51  : +1.920000000000000000000000000000e-01 : {7, 8, 12, 14, 15}
4-52  : +1.851070318452241916496595634547e-01 : {7, 11, 12, 14, 15}
4-53  : +2.273682975812440774408949078536e-01 : {7, 8, 13, 14, 15}
4-54  : +4.000000000000000000000000000000e-01 : {7, 11, 13, 14, 15}
4-55  : +2.426563735877501488119333713548e-01 : {6, 7, 9, 10, 12}
4-56  : +2.305132845139705378580971306315e-01 : {6, 7, 9, 11, 12}
4-57  : +1.401871029350431440689360587087e-01 : {6, 7, 8, 9, 15}
4-58  : +6.666666666666666666666666666667e-01 : {3, 5, 6, 8, 15}
4-59  : +1.444069007360780816672181634699e-01 : {9, 10, 11, 12, 13, 14}
4-60  : +3.173537915966905187137638149515e-01 : {9, 10, 12, 13, 14, 15}
4-61  : +1.815778152729123272353306498880e-01 : {10, 11, 12, 13, 14, 15}
4-62  : +2.170296548739512854217263909969e-01 : {5, 6, 8, 9, 10, 11}
4-63  : +2.162148885294879855650514751292e-01 : {5, 6, 9, 10, 11, 12}
4-64  : +2.161438900521878258053300804460e-01 : {5, 6, 8, 10, 11, 13}
4-65  : +1.951452601753374575822387489315e-01 : {5, 6, 8, 10, 11, 14}
4-66  : +1.436407562998822872643359543154e-01 : {5, 6, 9, 10, 11, 14}
4-67  : +2.575664633697921796616691946117e-01 : {5, 6, 9, 10, 13, 14}
4-68  : +3.245932774240771135099301507993e-01 : {5, 6, 8, 11, 13, 14}
4-69  : +1.968946772251732693354984468594e-01 : {5, 6, 8, 10, 11, 15}
4-70  : +5.625000000000000000000000000000e-01 : {5, 6, 9, 10, 12, 15}
4-71  : +2.321309927950359858988911611787e-01 : {5, 6, 9, 10, 14, 15}
4-72  : +1.410954057547068862236154304657e-01 : {5, 6, 8, 11, 14, 15}
4-73  : +1.714179850798675059672552251662e-01 : {7, 8, 10, 11, 12, 13}
4-74  : +1.679614732494969922282999749604e-01 : {7, 8, 9, 10, 12, 14}
4-75  : +1.772295620848043038256232098654e-01 : {7, 8, 10, 12, 13, 14}
4-76  : +1.529414271722345992311169652519e-01 : {7, 9, 10, 12, 13, 14}
4-77  : +2.504313349218601609806469203434e-01 : {7, 8, 11, 12, 13, 14}
4-78  : +1.654668111489739494536001613296e-01 : {7, 10, 11, 12, 13, 14}
4-79  : +1.706244022496678418514444042599e-01 : {7, 8, 9, 10, 12, 15}
4-80  : +1.757260439358783767558350530023e-01 : {7, 8, 10, 12, 13, 15}
4-81  : +1.688300487895749085856674690849e-01 : {7, 10, 11, 12, 13, 15}
4-82  : +2.180179410096996772030148408353e-01 : {7, 8, 10, 12, 14, 15}
4-83  : +1.641468846804417978169843126046e-01 : {7, 9, 10, 12, 14, 15}
4-84  : +1.918619128731460429911658983458e-01 : {7, 8, 11, 12, 14, 15}
4-85  : +3.976140308356189967831991410865e-01 : {7, 8, 11, 13, 14, 15}
4-86  : +1.595293465909210090089113954761e-01 : {7, 8, 12, 13, 14, 15}
4-87  : +1.341652329061544171414467175029e-01 : {7, 10, 12, 13, 14, 15}
4-88  : +2.207863137773165672997771744171e-01 : {7, 11, 12, 13, 14, 15}
4-89  : +1.218405858267040685646335653866e-01 : {6, 7, 8, 9, 11, 12}
4-90  : +1.560879975568009503426834301337e-01 : {6, 7, 8, 9, 11, 13}
4-91  : +2.063258723627962720507894358739e-01 : {6, 7, 9, 10, 12, 13}
4-92  : +2.812500000000000000000000000000e-01 : {6, 7, 10, 11, 12, 13}
4-93  : +2.272512520216264260191624910037e-01 : {6, 7, 9, 10, 12, 14}
4-94  : +1.718838085351097881465247375677e-01 : {6, 7, 9, 11, 12, 14}
4-95  : +1.121611271081955084560240185124e-01 : {6, 7, 8, 9, 13, 14}
4-96  : +1.875000000000000000000000000000e-01 : {6, 7, 9, 11, 13, 14}
4-97  : +2.051588191997683188582842920270e-01 : {6, 7, 9, 10, 12, 15}
4-98  : +1.955759959808696580578885627793e-01 : {6, 7, 9, 11, 12, 15}
4-99  : +1.490075500350233729281056036944e-01 : {6, 7, 8, 9, 13, 15}
4-100 : +1.757812500000000000000000000000e-01 : {6, 7, 8, 9, 14, 15}
4-101 : +1.012179602067487788820456598025e-01 : {5, 6, 7, 8, 9, 10}
4-102 : +1.303398648939004171266537884423e-01 : {5, 6, 7, 8, 10, 11}
4-103 : +3.333333333333333333333333333333e-01 : {3, 5, 6, 9, 10, 12}
4-104 : +2.777777777777777777777777777778e-01 : {3, 5, 6, 8, 11, 12}
4-105 : +2.393783855018555281064233373118e-01 : {3, 5, 6, 8, 13, 14}
4-106 : +2.053952877729605998748743006065e-01 : {3, 5, 6, 8, 12, 15}
4-107 : +2.023119584881412080604905158050e-01 : {3, 5, 6, 8, 14, 15}
4-108 : +5.000000000000000000000000000000e-01 : {3, 5, 6, 7, 8, 15}
4-109 : +2.679946359092749605398303933860e-01 : {9, 10, 11, 12, 13, 14, 15}
4-110 : +1.442519922438290058694065975328e-01 : {5, 6, 8, 9, 10, 11, 14}
4-111 : +1.655111577896757334968570777623e-01 : {5, 6, 9, 10, 11, 12, 14}
4-112 : +1.403942450337491359918186087518e-01 : {5, 6, 8, 10, 11, 13, 14}
4-113 : +1.312073277541567960423418489504e-01 : {5, 6, 9, 10, 11, 13, 14}
4-114 : +1.800141917437104474272315106307e-01 : {5, 6, 8, 9, 10, 11, 15}
4-115 : +1.571072180098853841699320977555e-01 : {5, 6, 8, 10, 11, 12, 15}
4-116 : +2.536004402796426715312218698811e-01 : {5, 6, 9, 10, 11, 12, 15}
4-117 : +1.583727344624017238066418255438e-01 : {5, 6, 8, 10, 11, 13, 15}
4-118 : +1.426276373376545609971722573899e-01 : {5, 6, 8, 10, 11, 14, 15}
4-119 : +1.604325875969349815109141365821e-01 : {5, 6, 9, 10, 11, 14, 15}
4-120 : +4.474043127747591698585763011937e-01 : {5, 6, 9, 10, 12, 14, 15}
4-121 : +1.404731633219547338257912124056e-01 : {5, 6, 9, 10, 13, 14, 15}
4-122 : +1.573729063053709006626007717692e-01 : {5, 6, 8, 11, 13, 14, 15}
4-123 : +2.035225229135135999721160669318e-01 : {7, 8, 9, 10, 12, 13, 14}
4-124 : +2.351746144869025774266612034393e-01 : {7, 8, 10, 11, 12, 13, 14}
4-125 : +1.765396742653728569306913748512e-01 : {7, 9, 10, 11, 12, 13, 14}
4-126 : +1.692010326443633192955800142913e-01 : {7, 8, 10, 11, 12, 13, 15}
4-127 : +1.516301075524536850415280940052e-01 : {7, 8, 9, 10, 12, 14, 15}
4-128 : +1.671796464258235413423707443784e-01 : {7, 8, 10, 12, 13, 14, 15}
4-129 : +1.631639265049960895406802612960e-01 : {7, 9, 10, 12, 13, 14, 15}
4-130 : +2.566050571078096839903060953944e-01 : {7, 8, 11, 12, 13, 14, 15}
4-131 : +1.604400242337047321778655447977e-01 : {7, 10, 11, 12, 13, 14, 15}
4-132 : +1.950358357198396403246006563385e-01 : {6, 7, 8, 9, 11, 12, 13}
4-133 : +1.825738218141543903681547618917e-01 : {6, 7, 9, 10, 11, 12, 13}
4-134 : +1.530037963321945452017264600007e-01 : {6, 7, 8, 9, 11, 13, 14}
4-135 : +1.748970842018511126541283112953e-01 : {6, 7, 9, 10, 12, 13, 14}
4-136 : +1.516145370920037702686991166321e-01 : {6, 7, 9, 11, 12, 13, 14}
4-137 : +1.372510006600533192928948688148e-01 : {6, 7, 8, 9, 11, 12, 15}
4-138 : +1.651553146089555817844830757320e-01 : {6, 7, 8, 9, 11, 13, 15}
4-139 : +1.687927271937088781721382407208e-01 : {6, 7, 9, 10, 12, 13, 15}
4-140 : +2.051037307463856999619629319890e-01 : {6, 7, 10, 11, 12, 13, 15}
4-141 : +1.815407489823489346875650281703e-01 : {6, 7, 9, 10, 12, 14, 15}
4-142 : +1.798243192345998195260240163247e-01 : {6, 7, 9, 11, 12, 14, 15}
4-143 : +1.394202095370537616680517017061e-01 : {6, 7, 8, 9, 13, 14, 15}
4-144 : +1.763843311948520251825650230311e-01 : {6, 7, 9, 11, 13, 14, 15}
4-145 : +1.725163762410017481861767450309e-01 : {5, 6, 7, 8, 9, 10, 11}
4-146 : +1.629952616242658601680592304166e-01 : {5, 6, 7, 9, 10, 11, 12}
4-147 : +1.638144226845495989800012607388e-01 : {5, 6, 7, 8, 10, 11, 13}
4-148 : +1.224188829047726245437488754741e-01 : {5, 6, 7, 8, 9, 10, 14}
4-149 : +1.700242086668007985466453290794e-01 : {5, 6, 7, 8, 9, 10, 15}
4-150 : +1.690169795752422242265727666360e-01 : {5, 6, 7, 8, 10, 11, 15}
4-151 : +1.325424512912557451061726739312e-01 : {3, 5, 6, 8, 10, 12, 13}
4-152 : +2.464634987900036543163970731714e-01 : {3, 5, 6, 9, 10, 12, 14}
4-153 : +1.966302779824000470344625492745e-01 : {3, 5, 6, 8, 11, 12, 14}
4-154 : +2.882059611416115939482864963089e-01 : {3, 5, 6, 8, 11, 13, 14}
4-155 : +1.645429949826049356333443343800e-01 : {3, 5, 6, 8, 12, 13, 14}
4-156 : +1.754201104657116561436253521086e-01 : {3, 5, 6, 8, 10, 12, 15}
4-157 : +6.123223440141020584149046877361e-01 : {3, 5, 6, 9, 10, 12, 15}
4-158 : +2.300270871016742789350379136462e-01 : {3, 5, 6, 8, 11, 12, 15}
4-159 : +1.783689607945455409053454767578e-01 : {3, 5, 6, 8, 12, 14, 15}
4-160 : +1.645621970183592155334903857491e-01 : {3, 5, 6, 8, 13, 14, 15}
4-161 : +1.008127346562220150050697932296e-01 : {3, 4, 7, 8, 9, 10, 15}
4-162 : +1.279141455305621032412754065721e-01 : {3, 5, 6, 7, 8, 11, 12}
4-163 : +1.730969495652622832456270130365e-01 : {3, 5, 6, 7, 8, 12, 15}
4-164 : +1.614660651828797278808731945026e-01 : {3, 5, 6, 7, 8, 14, 15}
4-165 : +4.218750000000000000000000000000e-01 : {8, 9, 10, 11, 12, 13, 14, 15}
4-166 : +3.750000000000000000000000000000e-01 : {5, 6, 8, 9, 10, 11, 13, 14}
4-167 : +1.640327297968299569183708299237e-01 : {5, 6, 9, 10, 11, 12, 13, 14}
4-168 : +3.164062500000000000000000000000e-01 : {5, 6, 8, 9, 10, 11, 12, 15}
4-169 : +1.719988076207660892172852512215e-01 : {5, 6, 8, 10, 11, 12, 13, 15}
4-170 : +1.675959009308868749271901095265e-01 : {5, 6, 8, 9, 10, 11, 14, 15}
4-171 : +1.573475259667311323643586765822e-01 : {5, 6, 8, 10, 11, 12, 14, 15}
4-172 : +2.664127629770513113169202386437e-01 : {5, 6, 9, 10, 11, 12, 14, 15}
4-173 : +1.964082713185040855851446964462e-01 : {5, 6, 8, 10, 11, 13, 14, 15}
4-174 : +1.485830408615080422986825559355e-01 : {5, 6, 9, 10, 11, 13, 14, 15}
4-175 : +4.444444444444444444444444444444e-01 : {5, 6, 9, 10, 12, 13, 14, 15}
4-176 : +1.875000000000000000000000000000e-01 : {5, 6, 8, 11, 12, 13, 14, 15}
4-177 : +2.826135607033131947500173375052e-01 : {7, 8, 9, 10, 11, 12, 13, 14}
4-178 : +1.927830605223266155571524022627e-01 : {7, 8, 9, 10, 12, 13, 14, 15}
4-179 : +2.544014334678253781350253503478e-01 : {7, 8, 10, 11, 12, 13, 14, 15}
4-180 : +1.564515783029588318695409479107e-01 : {7, 9, 10, 11, 12, 13, 14, 15}
4-181 : +2.886751345948128822545743902510e-01 : {6, 7, 8, 9, 10, 11, 12, 13}
4-182 : +1.675959009308868749271901095265e-01 : {6, 7, 8, 9, 11, 12, 13, 14}
4-183 : +1.455255282002032627736117687963e-01 : {6, 7, 9, 10, 11, 12, 13, 14}
4-184 : +1.649273973645208208385970540262e-01 : {6, 7, 8, 9, 11, 12, 13, 15}
4-185 : +1.573475259667311323643586765822e-01 : {6, 7, 9, 10, 11, 12, 13, 15}
4-186 : +1.201829705134076652391697595199e-01 : {6, 7, 8, 9, 11, 12, 14, 15}
4-187 : +1.485830408615080422986825559355e-01 : {6, 7, 8, 9, 11, 13, 14, 15}
4-188 : +1.582031250000000000000000000000e-01 : {6, 7, 8, 9, 12, 13, 14, 15}
4-189 : +1.812207974582672920431243923072e-01 : {6, 7, 9, 10, 12, 13, 14, 15}
4-190 : +1.549464680686617899421774565395e-01 : {6, 7, 9, 11, 12, 13, 14, 15}
4-191 : +2.109375000000000000000000000000e-01 : {6, 7, 10, 11, 12, 13, 14, 15}
4-192 : +2.027056959561630877414711815785e-01 : {5, 6, 7, 8, 9, 10, 11, 12}
4-193 : +1.192278720262194653867411709178e-01 : {5, 6, 7, 8, 10, 11, 12, 13}
4-194 : +1.606335597926920122796954144913e-01 : {5, 6, 7, 8, 9, 10, 11, 14}
4-195 : +2.191262207670871343477329524887e-01 : {5, 6, 7, 9, 10, 11, 12, 14}
4-196 : +1.029439327747738957328905786888e-01 : {5, 6, 7, 8, 9, 10, 13, 14}
4-197 : +1.593118783883878757277868558255e-01 : {5, 6, 7, 8, 10, 11, 13, 14}
4-198 : +9.420507173388970947591559042174e-02 : {5, 6, 7, 9, 10, 11, 13, 14}
4-199 : +1.648008493240852457644500790227e-01 : {5, 6, 7, 8, 9, 10, 11, 15}
4-200 : +1.425130267334480548317522690352e-01 : {5, 6, 7, 8, 9, 10, 12, 15}
4-201 : +1.533894215592427676842631462599e-01 : {5, 6, 7, 9, 10, 11, 12, 15}
4-202 : +1.995379534987159517618810480538e-01 : {5, 6, 7, 8, 10, 11, 13, 15}
4-203 : +1.448953349984444336730481641946e-01 : {5, 6, 7, 8, 9, 10, 14, 15}
4-204 : +1.201829705134076652391697595199e-01 : {5, 6, 7, 8, 10, 11, 14, 15}
4-205 : +3.750000000000000000000000000000e-01 : {4, 5, 6, 7, 8, 9, 10, 11}
4-206 : +2.109375000000000000000000000000e-01 : {3, 4, 8, 9, 10, 13, 14, 15}
4-207 : +1.496944372297021316312171691759e-01 : {3, 5, 6, 8, 10, 11, 12, 13}
4-208 : +1.425130267334480548317522690352e-01 : {3, 5, 6, 8, 9, 10, 12, 14}
4-209 : +1.593118783883878757277868558255e-01 : {3, 5, 6, 8, 10, 12, 13, 14}
4-210 : +1.536630218977401918238423227476e-01 : {3, 5, 6, 9, 10, 12, 13, 14}
4-211 : +1.927830605223266155571524022627e-01 : {3, 5, 6, 8, 11, 12, 13, 14}
4-212 : +2.912822025300293493339426487737e-01 : {3, 5, 6, 8, 9, 10, 12, 15}
4-213 : +2.095850254729645758182180000188e-01 : {3, 5, 6, 8, 10, 12, 13, 15}
4-214 : +1.533894215592427676842631462599e-01 : {3, 5, 6, 8, 10, 12, 14, 15}
4-215 : +5.012251516546515352728869859481e-01 : {3, 5, 6, 9, 10, 12, 14, 15}
4-216 : +1.935118550426840072702956475802e-01 : {3, 5, 6, 8, 11, 12, 14, 15}
4-217 : +1.564515783029588318695409479107e-01 : {3, 5, 6, 8, 11, 13, 14, 15}
4-218 : +1.719988076207660892172852512215e-01 : {3, 5, 6, 8, 12, 13, 14, 15}
4-219 : +3.750000000000000000000000000000e-01 : {3, 4, 5, 6, 8, 9, 10, 15}
4-220 : +1.029439327747738957328905786888e-01 : {3, 4, 7, 8, 9, 10, 11, 12}
4-221 : +1.192278720262194653867411709178e-01 : {3, 4, 7, 8, 9, 10, 12, 14}
4-222 : +2.246932233838635772835217813440e-01 : {3, 4, 7, 8, 9, 10, 13, 14}
4-223 : +9.420507173388970947591559042174e-02 : {3, 4, 7, 8, 9, 10, 11, 15}
4-224 : +1.496944372297021316312171691759e-01 : {3, 4, 7, 8, 9, 10, 12, 15}
4-225 : +1.549464680686617899421774565395e-01 : {3, 4, 7, 8, 9, 10, 14, 15}
4-226 : +9.375000000000000000000000000000e-02 : {3, 4, 6, 7, 8, 9, 11, 12}
4-227 : +1.582031250000000000000000000000e-01 : {3, 4, 6, 7, 8, 9, 10, 13}
4-228 : +2.109375000000000000000000000000e-01 : {3, 5, 6, 7, 8, 9, 10, 12}
4-229 : +1.959661915409859914484952305298e-01 : {3, 5, 6, 7, 8, 10, 12, 13}
4-230 : +1.956725781266112068550176622531e-01 : {3, 5, 6, 7, 8, 11, 12, 14}
4-231 : +1.580308052310395816503989666334e-01 : {3, 5, 6, 7, 8, 11, 13, 14}
4-232 : +2.886751345948128822545743902510e-01 : {3, 5, 6, 7, 8, 12, 13, 14}
4-233 : +1.536630218977401918238423227476e-01 : {3, 5, 6, 7, 8, 10, 12, 15}
4-234 : +2.191262207670871343477329524887e-01 : {3, 5, 6, 7, 8, 11, 12, 15}
4-235 : +1.640327297968299569183708299237e-01 : {3, 5, 6, 7, 8, 12, 14, 15}
4-236 : +1.455255282002032627736117687963e-01 : {3, 5, 6, 7, 8, 13, 14, 15}
4-237 : +4.218750000000000000000000000000e-01 : {2, 3, 4, 5, 8, 9, 14, 15}
4-238 : +1.000000000000000000000000000000e+00 : {1, 2, 4, 7, 8, 11, 13, 14}
